/*
 * File name:   reos_rc.h
 * Description: ReOS real-time operating system resource file.
 *              This file is automatically generated.
 *              Do not modify!
 * Date:        Thu Jan 30 14:59:23 PST 2014
 */

#include "reos.h"

#ifndef __REOS_RESOURCE_HEADER__
#define __REOS_RESOURCE_HEADER__

/*
 * ReOS Interrupt handler declarations
 */

/*
 * ReOS Task declarations
 */
extern void         HighPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   HighPriorityTaskTCB;
extern ReOS_PID_t 	HighPriorityTaskPID;

extern void         MediumPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   MediumPriorityTaskTCB;
extern ReOS_PID_t 	MediumPriorityTaskPID;

extern void         LowPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   LowPriorityTaskTCB;
extern ReOS_PID_t 	LowPriorityTaskPID;



/*
 * ReOS Event declarations
 */
/* Evt1 - TBD */
/* Evt2 - TBD */
/* Evt3 - TBD */


/*
 * ReOS Message declarations
 */
/* Msg1 - TBD */
/* Msg2 - TBD */
/* Msg3 - TBD */


#endif /* __REOS_RESOURCE_HEADER__ */
